On primitive recursive realizabilitiesPLISKO, Valery.Lecture notes in computer science. 2006, pp 304-312, issn 0302-9743, isbn 3-540-34166-8, 1Vol, 9 p.Conference Paper

Multiple Realizability and Biological LawsRAERINNE, Jani P; ERONEN, Markus I.History and philosophy of the life sciences. 2012, Vol 34, Num 4, pp 521-537, issn 0391-9714, 17 p.Article

Analyzing conversations of web servicesBULTAN, Terfik; JIANWEN SU; XIANG FU et al.IEEE internet computing. 2006, Vol 10, Num 1, pp 18-25, issn 1089-7801, 8 p.Article

Can proofs be animated by games?HAYASHI, Susumu.Lecture notes in computer science. 2005, pp 11-22, issn 0302-9743, isbn 3-540-25593-1, 12 p.Conference Paper

Signature Theory in Holographic AlgorithmsCAI, Jin-Yi; PINYAN LU.Algorithmica. 2011, Vol 61, Num 4, pp 779-816, issn 0178-4617, 38 p.Conference Paper

Applications of a Brauer theorem in the nonnegative inverse eigenvalue problemSOTO, Ricardo L; ROJO, Oscar.Linear algebra and its applications. 2006, Vol 416, Num 2-3, pp 844-856, issn 0024-3795, 13 p.Article

The complexity of live sequence chartsBONTEMPS, Yves; SCHOBBENS, Pierre-Yves.Lecture notes in computer science. 2005, pp 364-378, issn 0302-9743, isbn 3-540-25388-2, 15 p.Conference Paper

On the realizability of pressure-train closuresMISHRA, Aashwin A; GIRIMAJI, Sharath S.Journal of fluid mechanics. 2014, Vol 755, pp 535-560, issn 0022-1120, 26 p.Article

Simultaneous graph embeddings with fixed edgesGASSNER, Elisabeth; JÜNGER, Michael; PERCAN, Merijam et al.Lecture notes in computer science. 2006, pp 325-335, issn 0302-9743, isbn 3-540-48381-0, 11 p.Conference Paper

Artificial agents and the expanding ethical circleTORRANCE, Steve.AI & society. 2013, Vol 28, Num 4, pp 399-414, issn 0951-5666, 16 p.Article

Normalization of IZF with replacementMOCZYDŁOWSKI, Wojciech.Lecture notes in computer science. 2006, pp 516-530, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 15 p.Conference Paper

A computational interpretation of open inductionBERGER, Ulrich.Symposium on Logic in Computer Science. 2004, pp 326-334, isbn 0-7695-2192-4, 1Vol, 9 p.Conference Paper

Towards design recovery from observationsURAL, Hasan; YENIGÜN, Hüsnü.Lecture notes in computer science. 2004, pp 133-149, issn 0302-9743, isbn 3-540-23252-4, 17 p.Conference Paper

Exploring k and ∈ with R―Equation Model Using Elliptic Relaxation FunctionRAHMAN, Mizanur; WALLIN, Stefan; SIIKONEN, Timo et al.Flow, turbulence and combustion. 2012, Vol 89, Num 1, pp 121-148, issn 1386-6184, 28 p.Article

Realizability criteria for compositional MSCMOOIJ, Arjan; ROMIJN, Judi; WESSELINK, Wieger et al.Lecture notes in computer science. 2006, pp 248-262, issn 0302-9743, isbn 3-540-35633-9, 1Vol, 15 p.Conference Paper

Quantitative models and implicit complexityDAL LAGO, Ugo; HOFMANN, Martin.Lecture notes in computer science. 2005, pp 189-200, issn 0302-9743, isbn 3-540-30495-9, 1Vol, 12 p.Conference Paper

Realizable versus non-realizable dynamic subgrid-scale stress modelsHEINZ, Stefan; GOPALAN, Harish.Physics of fluids (1994). 2012, Vol 24, Num 11, issn 1070-6631, 115105.1-115105.23Article

Realizability criterion for the symmetric nonnegative inverse eigenvalue problemSOTO, Ricardo L.Linear algebra and its applications. 2006, Vol 416, Num 2-3, pp 783-794, issn 0024-3795, 12 p.Article

ND polyhedral scene reconstruction from single 2D line drawing by local propagationHONGBO LI.Lecture notes in computer science. 2006, pp 169-197, issn 0302-9743, isbn 3-540-31332-X, 1Vol, 29 p.Conference Paper

Extending Steinitz's Theorem to Upward Star-Shaped Polyhedra and Spherical PolyhedraHONG, Seok-Hee; NAGAMOCHI, Hiroshi.Algorithmica. 2011, Vol 61, Num 4, pp 1022-1076, issn 0178-4617, 55 p.Conference Paper

Conversation protocols: A formalism for specification and-verification of reactive electronic servicesXIANG FU; BULTAN, Tevfik; JIANWEN SU et al.Lecture notes in computer science. 2003, pp 188-200, issn 0302-9743, isbn 3-540-40561-5, 13 p.Conference Paper

Agent-based tactics for goal-oriented requirements elaborationLETIER, Emmanuel; VAN LAMSWEERDE, Axel.Proceedings - International Conference on Software Engineering. 2002, pp 83-94, issn 0270-5257, isbn 1-58113-472-X, 12 p.Conference Paper

Pictures as Boolean Formulas: A Method for Recognizing Polyhedral ScenesALEVIZOS, Panagiotis D.Journal of mathematical imaging and vision. 2013, Vol 46, Num 1, pp 74-102, issn 0924-9907, 29 p.Article

Realizability Constrained Selection of Residual Generators for Fault Diagnosis with an Automotive Engine ApplicationSVÄRD, Carl; NYBERG, Mattias; FRISK, Erik et al.IEEE transactions on systems, man, and cybernetics. Systems (Print). 2013, Vol 43, Num 6, pp 1354-1369, issn 2168-2216, 16 p.Article

On the Topologies of Local Minimum Spanning TreesCORTESE, P. F; DI BATTISTA, G; FRATI, F et al.Lecture notes in computer science. 2006, pp 31-44, issn 0302-9743, isbn 3-540-48822-7, 14 p.Conference Paper